Department of Computer Science, The University of Texas at Austin